Computer Science

Results: 55984



#Item
491

HERMAN SAKSONO − http://ccs.neu.edu/~hsaksono EDUCATION Northeastern University, Boston, U.S. Ph.D. in Computer Science (College of Computer and Information Science) Advisor: Andrea G. Parker

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2018-05-23 07:09:11
    492

    Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2013-05-09 12:23:44
      493

      Tracking Severe Weather Storms in Doppler Radar Images D. Cheng, 1 R. E. Mercer, 1 J. L. Barron, 1 P. Joe 2 1 Department of Computer Science, Middlesex College, University of Western Ontario, London, Ontario N6A 5B7, Can

      Add to Reading List

      Source URL: www.csd.uwo.ca

      Language: English - Date: 2017-05-15 17:18:25
        494

        Client-side Reconstruction of Composite Mementos Using ServiceWorker Sawood Alam, Mat Kelly, Michele C. Weigle, and Michael L. Nelson Department of Computer Science, Old Dominion University Norfolk, Virginia, USA

        Add to Reading List

        Source URL: www.cs.odu.edu

        Language: English - Date: 2017-06-29 12:30:37
          495

          DiME: A Performance Emulator for Disaggregated Memory Architectures Dhantu Buragohain, Abhishek Ghogare, Trishal Patel, Mythili Vutukuru, Purushottam Kulkarni Department of Computer Science and Engineering, Indian Insti

          Add to Reading List

          Source URL: www.cse.iitb.ac.in

          Language: English - Date: 2017-08-03 06:50:25
            496

            A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing A. Burns Department of Computer Science, University of York, UK.

            Add to Reading List

            Source URL: www-users.cs.york.ac.uk

            Language: English - Date: 2012-07-03 07:32:54
              497

              A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development Scott Frame and John W. Coffey Department of Computer Science University of West Florida Pensacola, FL

              Add to Reading List

              Source URL: www.iiisci.org

              Language: English - Date: 2014-04-29 16:17:49
                498

                Robot Location Estimation in the Situation Calculus Vaishak Belle and Hector J. Levesque Dept. of Computer Science University of Toronto ICAPS Workshop on Planning and Robotics, June 2013

                Add to Reading List

                Source URL: icaps13.icaps-conference.org

                Language: English - Date: 2017-01-12 09:35:44
                  499

                  A Case Study in Helping Students to Covertly Eat Their Classmates Roya Ensafi, Mike Jacobi, and Jedidiah R. Crandall University of New Mexico, Dept. of Computer Science {royaen, crandall}@cs.unm.edu;

                  Add to Reading List

                  Source URL: ensa.fi

                  Language: English - Date: 2016-09-22 03:35:52
                    500

                    Managing Autonomy in Robot Teams: Observations from Four Experiments Michael A. Goodrich Computer Science Dept. Brigham Young University Provo, Utah, USA

                    Add to Reading List

                    Source URL: faculty.cs.byu.edu

                    Language: English - Date: 2007-03-16 16:11:39
                      UPDATE